Publications of Xavier CRÉGUT
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification.
In : Journal of Software (JSW), Academy Publisher, Finland, Vol. 4 N. 6, pp. 943-958, November 2009.
Abstract URL : http://www.academypublisher.com/ojs/index.php/jsw/article/view/0409943958
BibTeXAngel Garcia, Benoit Combemale, Xavier Crégut, Jérôme Vandeur
TopPROCESS : vers une ingénierie des procédés dirigée par les modèles
In : Revue de l’Electricité et de l’Electronique (REE), Société de l’Electricité, de l’Electronique et des Technologies de l’Information et de la Communication (SEE), Paris, Vol. 2009, N. 2, pp. 31-37, February 2009.
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat
A Property-Driven Approach to Formal Verification of Process Models
In : Enterprise Information Systems, Taylor & Francis Online, Special issue LNBIP 12, ICEIS 2007, Revised Selected Papers, Vol. 12, pp. 286-300, 2009.
Benoit Combemale, Xavier Crégut, Pierre Michel, Marc Pantel
SéMo’07 : premier atelier sur la Sémantique des Modèles
In : L’Objet, Hermès Science, Special issue Ingénierie Dirigée par les Modèles, Vol. 13, N. 4, pp. 137-144, January 2008.
Mahmoud Nassar, Jérémie Guiochet, Bernard Coulette, Xavier Crégut, Sophie Ebersold
Vers un profil UML pour la conception de composants multivues
In : L’Objet, Hermès Science, Vol. 11, N. 4, pp. 83-113, December 2005.
URL : http://www.irit.fr/publis/MACAO/Nassar-etal-LObjet2005.pdf
BibTeXThu Tran Dan, Hanh Nhi Tran, Thuy Dong Thi Bich, Bernard Coulette, Xavier Crégut
Topological properties for characterizing well-formedness of process components
In : Software Process: Improvement and Practice, Wiley Interscience, Vol. 10 N. 2, pp. 217-247, May 2005.
Abstract URL : http://www3.interscience.wiley.com/cgi-bin/jhome/15482
BibTeXXavier Crégut, Bernard Coulette
Réalisation en Eiffel d’un atelier de génie logiciel centré procédé
In : L’objet — logiciel, bases de données, réseaux, Vol. 5, N. 3-4, pp. 391-415, December 1999.
Xavier Crégut, Bernard Coulette
PBOOL : an Object-Oriented Language for Definition and Reuse of Enactable Processes
In : Software Concepts & Tools, Vol. 18 N. 2, June 1997.
Florent Latombe, Xavier Crégut, Marc Pantel
Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency
2nd International Workshop on Executable Modeling (EXE 2016), Oct 2016, Saint-Malo, France. pp.12-18
Faiez Zalila, Xavier Crégut, Marc Pantel
A DSL to Feedback Formal Verification Results
13th Model-Driven Engineering, Verification and Validation Workshop at MODELS conference 2016 (MoDeVVa 2016), Oct 2016, Saint Malo, France. pp.30–39
Benoit Combemale, Cédric Brun, Joël Champeau, Xavier Crégut, Julien Deantoni, Jérome Le Noir
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoit Combemale
Coping with Semantic Variation Points in Domain-Specific Modeling Languages
1st International Workshop on Executable Modeling (EXE’15), co-located with MODELS’15, 2015, Ottawa, Canada
Florent Latombe, Xavier Crégut, Benoit Combemale, Julien Deantoni, Marc Pantel
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States
Ning Ge, Marc Pantel, Xavier Crégut
Automated Failure Analysis in Model Checking based on Data Mining
4th International Conference On Model and Data Engineering, Sep 2014, Larnaca, Cyprus. pp.13-28, ⟨10.1007/978-3-319-11587-0_4⟩
Ning Ge, Marc Pantel, Xavier Crégut
Probabilistic Failure Analysis in Model Validation & Verification (Journées FAC 2014)
Journées Formalisation des Activités Concurrentes (Journées FAC 2014), Apr 2014, Toulouse, France
Faiez Zalila, Xavier Crégut, Marc Pantel
A user-oriented approach to integrate formal verification activity for DSML
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Ning Ge, Marc Pantel, Xavier Crégut
Probabilistic Failure Analysis in Model V&V
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Ning Ge, Marc Pantel, Xavier Crégut
Probabilistic failure analysis in model Validation &Verification (ERTS 2014)
7th European Conference on Embedded Real Time Software and Systems (ERTS 2014), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics; Information & Communication Technologies, Feb 2014, Toulouse, France. pp.(electronic medium)
Ning Ge, Marc Pantel, Xavier Crégut
A UML-MARTE Temporal Property Verification Tool based on Model Checking
International Conference on Embedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Faiez Zalila, Xavier Crégut, Marc Pantel
A transformation-driven approach to automate feedback verification results (regular paper)
In : International Conference On Model and Data Engineering (MEDI 2013), Amantea, Calabria, Italy, 25/09/13-27/09/13, Springer, Lecture Notes in Computer Science, pp. 266-277, 2013.
Faiez Zalila, Xavier Crégut, Marc Pantel
Formal Verification Integration Approach for DSML (regular paper)
In : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, 29/09/13-04/10/13, Springer-Verlag, (electronic medium), September 2013.
Faiez Zalila, Xavier Crégut, Marc Pantel
Verification results feedback for FIACRE intermediate language (student paper)
In : Conférence en Ingénierie du Logiciel (CIEL 2012), Rennes, France, 19/06/12-21/06/12, IRISA, (on line), 2012.
URL : http://gpl2012.irisa.fr/sites/default/files/CIEL2012-Zalila-paper40.pdf
BibTeXNing Ge, Marc Pantel, Xavier Crégut
Time Properties Dedicated Framework for UML-MARTE Safety Critical RTES Verification (regular paper)
In : Conférence en Ingénierie du Logiciel (CIEL 2012), Rennes, France, 19/06/12-21/06/12, IRISA, (on line), 2012.
URL : http://gpl2012.irisa.fr/sites/default/files/CIEL2012-Ge-paper37.pdf
BibTeXBenoit Combemale, Xavier Crégut, Marc Pantel
A Design Pattern to Build Executable DSMLs and associated V&V tools (short paper)
In : Asia-Pacific Software Engineering Conference (APSEC 2012), Hong Kong, China, 04/12/12-07/12/12, IEEE : Institute of Electrical and Electronics Engineers, pp. 282-287, 2012.
Faiez Zalila, Xavier Crégut, Marc Pantel
Leveraging formal verification tools for DSML users: a process modeling case study (regular paper)
In : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), Amirandes, Heraclion, Crete, 15/10/12-18/10/12, Vol. 7610, Springer, Lecture Notes in Computer Science, pp. 329-343, 2012.
Ning Ge, Marc Pantel, Xavier Crégut
Formal specification and verification of task time constraints for real-time systems (regular paper)
In : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), Héraclion, Crète, 15/10/12-18/10/12, Vol. 7610, Springer, Lecture Notes in Computer Science, pp. 143-157, 2012.
Ning Ge, Marc Pantel, Xavier Crégut
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (regular paper)
In : European Conference on Modelling Foundations and Applications (ECMFA 2012), Lyngby, Danemark, 02/07/12-05/07/12, Vol. 7349, Springer, Lecture Notes in Computer Science, pp. 352-367, 2012.
Ning Ge, Marc Pantel, Xavier Crégut
Time properties dedicated transformation from UML-MARTE Activity to Time Transition System (regular paper)
In : International workshop UML and Formal Methods (UML&FM’2012 2012), Paris, 27/08/12-31/08/12, Vol. 37, ACM : Association for Computing Machinery, SIGSOFT Software Engineering Notes 4, pp. 1-8, 2012.
Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila
MDE through the Formal Verification of Process Models (regular paper)
In : Educators’ Symposium@MODELS 2011 – Software Modeling in Education, Wellington, New Zealand, 18/10/11, Vol. 52, Electronic Communications of the EASST, (on line), 2012.
Abstract URL : http://journal.ub.tu-berlin.de/eceasst/article/view/749
BibTeXJean-Christophe Bach, Pierre-Etienne Moreau, Marc Pantel, Xavier Crégut
Model Transformations with Tom (regular paper)
In : Language Descriptions, Tools and Applications (LDTA 2012), Tallinn, Estonia, 31/03/12-01/04/12, ACM : Association for Computing Machinery, (electronic medium), March 2012.
Faiez Zalila, Xavier Crégut, Marc Pantel
Spécification et vérification de patrons de propriétés pour des langages dédiés (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2011), Toulouse, France, 06/04/11-07/04/11, LAAS, (on line), April 2011.
URL : http://seminaire-verif.enseeiht.fr/FAC/2011/Papiers/Patrons.pdf
BibTeXJ.-M. Farines, Max H. De Queiroz, Vinicius De Rocha, Ana Maria Carpes, François Vernadat, Xavier Crégut
A model-driven engineering approach to formal verification of PLC programs (regular paper)
In : Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 05/09/11-09/09/11, IEEE : Institute of Electrical and Electronics Engineers, pp. 1-8, September 2011.
Xavier Crégut, Benoit Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei
Generative Technologies for Model Animation in the TOPCASED Platform (regular paper)
In : European Conference on Modelling Foundations and Applications (ECMFA 2010), Paris, 15/06/10-18/06/10, Springer, pp. 90-103, June 2010.
Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel
Introducing Simulation and Model Animation in the MDE Topcased Toolkit (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, LAAS, (on line), April 2008.
URL : http://seminaire-verif.enseeiht.fr/FAC/2008/Papiers/43.pdf
BibTeXBenoit Combemale, Laurent Broto, Xavier Crégut, Michel Daydé, Daniel Hagimont
Autonomic Mangement Policy Specification: from UML to DSML
In : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2008), Toulouse, 28/09/08-03/10/08, Springer-Verlag, pp. 584-599, October 2008.
Darlam Bender, Benoit Combemale, Xavier Crégut, François Vernadat, J.-M. Farines
Ladder Metamodeling & PLC Program Validation through Time Petri Nets
In : European Conference on Model Driven Architecture – Foundations and Applications (ECMDA-FA 2008), Berlin, Germany, 09/06/08-12/06/08, Springer, Lecture Notes in Computer Science 5095, pp. 121-136, June 2008.
Angel Garcia, Benoit Combemale, Xavier Crégut, Jean-Noël Guyot, Boris Libert
TopProcess: A Process Model Driven Approach Applied in Topcased for Embedded Real-Time Software
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (electronic medium), January 2008.
Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel
Introducing Simulation and Model Animation in the MDE Topcased Toolkit
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (electronic medium), January 2008.
Reda Bendraou, Benoit Combemale, Xavier Crégut, Marie-Pierre Gervais
Definition of an Executable SPEM2.0
In : Asia-Pacific Software Engineering Conference (APSEC 2007), Nagoya, Japan, 04/12/07-07/12/07, IEEE Computer Society, pp. 390-397, December 2007.
Xavier Thirioux, Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche
A Framework to formalise the MDE Foundations
In : International Workshop on Towers of Models (TOWERS 2007), Zurich, 25/06/07, Richard Paige, Jean Bézivin (Eds.), Model Driven Engineering (MDE), pp. 14-30, June 2007.
Benoit Combemale, Xavier Crégut, Bernard Berthomieu, François Vernadat
Vers une vérification d’un procédé de développement modélisé en SPEM
In : Formalisation des Activités Concurrentes, Toulouse, France, 15/03/07-16/03/07.
URL : http://www.cert.fr/feria/svf/FAC/2007/Papiers/31.pdf
BibTeXBenoit Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat
Towards a Formal Verification of Process Model’s Properties – SimplePDL and TOCL Case Study
In : International Conference on Enterprise Information Systems (ICEIS 2007), Funchal, Madeira – Portugal, 12/06/07-16/06/07, INSTICC Press, pp. 80-89, June 2007 (Best paper).
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
Expérimentation pour la définition d’une sémantique dans l’IDM
In : Sémantique des (meta)Modèles, Toulouse, France, 29/01/07, INPT : Institut National Polytechnique de Toulouse, pp. 146-161, March 2007.
Benoit Combemale, Xavier Crégut, Bernard Berthomieu, François Vernadat
SimplePDL2Tina: Mise en oeuvre d’une Validation de Modèles de Processus
In : Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2007), Toulouse, France, 29/03/07-30/03/07, INPT : Institut National Polytechnique de Toulouse, pp. 86-101, March 2007.
Marc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille
Sémantique et méta-modélisation
In : Journées Kermeta, Rennes, 10/10/06.
URL : https://kermeta.org/community/KermetaDay06/pres_marc/download
BibTeXMarc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille
Simulation et ingénierie des modèles
In : Journées Kermeta, Rennes, 10/10/06.
URL : https://kermeta.org/community/KermetaDay06/pres_marc/download
BibTeXPatrick Farail, Pierre Gaufillet, Agusti Canals, Christophe Le Camus, David Sciamma, Pierre Michel, Xavier Crégut, Marc Pantel
The TOPCASED project: a Toolkit in Open source for Critical Aeronautic SystEms Design
In : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/06-27/01/06, Société des Ingénieurs de l’Automobile, (electronic medium), January 2006.
Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel
Sémantique dans la méta-modélisation
In : Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2006), Lille, France, 26/06/06-28/06/06, Université de Lille, pp. 17-33, June 2006.
Benoit Combemale, Alain Caplain, Xavier Crégut, Bernard Coulette
Vers une vérification d’un procédé de développement modélisé en SPEM
In : Formalisation des Activités Concurrentes, Toulouse, France, 23/03/06-24/03/06.
URL : http://www.cert.fr/feria/svf/FAC/2006/Papiers/24.pdf
BibTeXBenoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette
Modélisation rigoureuse en SPEM de procédé de développement
In : Conférence sur les Langages et Modèles à Objets (LMO 2006), Nîmes, France, 22/03/06-24/03/06, Hermès Science, pp. 135-150, March 2006.
Benoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette
Towards a rigorous use of SPEM
In : International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Cyprus, 23/05/06-27/05/06, INSTICC Press, pp. 530-533, May 2006.
Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel
Towards rigorous metamodeling
In : Model-Driven Enterprise Information Systems (MDEIS 2006), Paphos – Cyprus, 23/05/06, Luís Ferreira Pires, Slimane Hammoudi (Eds.), INSTICC Press, pp. 1-15, May 2006.
Benoit Combemale, Xavier Crégut, Ileana Ober, Christian Percebois
Evaluation du standard SPEM de représentation des processus
In : Nice Environment with a Process and Tools Using Norms and Example (NEPTUNE 2006), Paris, 16/05/06, Pierre Bazex, Agusti Canals, Jean-Claude Rault (Eds.), GL & IS, pp. 25-30, June 2006.
Redouane Lbath, Bernard Coulette, Xavier Crégut
A multi-Agent Approach to a SPEM-based Modeling
In : The Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, Republic of China, 14/07/05-16/07/05, X, pp. 0, July 2005.
Xavier Crégut, Sophie Ebersold, Mahmoud Nassar, Bernard Coulette
Un patron de génération de code pour le profil VUML
In : Objets, Composants et Modèles (OCM), Berne, Suisse, 09/03/05-11/03/05, ., pp. 5-12, March 2005.
Mahmoud Nassar, Bernard Coulette, Abdelaziz Kriouile, Xavier Crégut, Sophie Ebersold
Towards a View Based Modelling Language
In : International Conference en Enterprise Information Systems (ICEIS 2003), Angers, France, 23/04/03-26/04/03, ., April 2003.
Tran Hanh Nhi, Bernard Coulette, Xavier Crégut, Thuy Dong Thi Bich, Thu Tran Dan
Modélisation du méta-procédé RHODES avec SPEM
In : Recherche Informatique Vietnam-Francophone (RIVF’03), Hanoi, vietnam, 10/02/03-13/02/03, http://e-ifi.org/rivf2003/, February 2003.
Bernard Coulette, Xavier Crégut, Thuy Dong Thi Bich, Thu Tran Dan
A METAPROCESS TO DEFINE AND REUSE PROCESS COMPONENTS
In : Integrated Design and Process Technology, IDPT, Pasadena (California), 23/06/02-28/06/02, Society for Design and Process Science, http://www.sdpsnet.org/, June 2002.
Thu Tran Dan, Thuy Dong Thi Bich, Bernard Coulette, Xavier Crégut
Introduction à la notion de composants de procédés
In : Journées scientifiques de l’Institut de la Technologie de l’Information, Hanoï., 24/12/01-25/12/01, CNRST, December 2001.
Bernard Coulette, Xavier Crégut, Thu Tran Dan, Thuy Dong Thi Bich
Managing Processes through a Base of Reusable Components
In : ICEIS’2001, Setubal, Portugal, 07/07/01-10/07/01, Kluwer Academic Publishers, pp. 180-190, July 2001.
Béatrice Paillassa, Xavier Crégut, Anis Ben Arbia
ASA: Une architecture active de Services pour un Internet de Services
In : De Nouvelles Architectures pour les Communications, Paris, DNAC, November 2001.
Béatrice Paillassa, Xavier Crégut, Anis Ben Arbia
ASA: The Active Service Architecture for New Internet
In : IEEE Conference on Communications, Computers and Signal Processing, Victoria (Canada), IEEE Publisher, pp. 489-492, August 2001.
Bernard Coulette, Xavier Crégut, Thu Tran Dan, Thuy Dong Thi Bich
RHODES, A Process-Centered Software Engineering Environment
In : ICEIS’2000, Stafford, 04/07/00-07/07/00, ., July 2000.
Bernard Coulette, Xavier Crégut
Modélisation de composants de procédés : Intégration dansl’environnement RHODES
In : IC’2000, Toulouse, ., May 2000.
Xavier Crégut, Bernard Coulette
Modélisation sous RHODES d’un procédé de développementformel. Application à la spécification en Unity
In : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL’98), Poitiers, 30/09/98-01/10/98, ENSMA, Futuroscope, Poitiers, pp. 165-176, September 1998.
M. Mezrioui, Xavier Crégut, Bernard Coulette
A Methodology for Software Process Modeling and Design
In : Actes conférence internationale IEEE Engineering Computer Based Systems (ECBS’98), Jérusalem, ., March 1998.
Xavier Crégut, Bernard Coulette
Emphasizing guidance in the Process-centered Software Engineering Environment RHODES
In : Actes conférence internationale IEEE Engineering Computer Based Systems (ECBS’98), Jérusalem, ., March 1998.
Xavier Crégut, Bernard Coulette
Filling the gap between CASE tools and PSEEs
In : Proc. of the International Conference and Workshop on Engineering of Computer Based Systems (ECBS’97), Monterey, California, IEEE Computer Society Press, pp. 113-120, March 1997.
Xavier Crégut, Bernard Coulette
Vérification d’un modèle de procédé de développement
In : Journées du GDR de Programmation, Orléans, France, -, November 1996.
Xavier Crégut, Bernard Coulette
Assistance Environment for Object Oriented Development
In : TOOLS 19, Actes conference TOOLS EUROPE 96, Paris, Prentice Hall, pp. 61-73, February 1996.
Xavier Crégut, Bernard Coulette
RHODES, un environnement d’assistance et de validation centré sur le processus de développement
In : Actes Génie Logiciel et Applications, Paris, 15/11/95-17/11/95, -, November 1995.
Bernard Coulette, Xavier Crégut
An intelligent didactic environment for HOOD designers
In : Ada in Aerospace symposium, Bruxelles, 08/11/93-11/11/93, Springer, pp. 179-188, 1993.
Xavier Crégut, Bernard Coulette
A methodological process based environement for software applications design
In : ACM ERCIM Workshop on Developement and transformation of programs, Nancy, 02/11/93-04/11/93, ACM : Association for Computing Machinery, pp. 151-162, 1993.
Bernard Coulette, Xavier Crégut
Intégration du concept hypertexte dans un environnement d’assistance et d’apprentissage. Application à la réalisation d’une interface didactique pour la méthode de conception HOOD.
In : Colloque International Informatique Cognitive des Organisations, Montréal, 05/05/93-07/05/93, de boeck université, pp. 88-97, 1993.
Un environnement d’assistance rigoureuse pour la description et l’exécution de processus de conception — Application à l’approche objet
Master’s Thesis, Institut National Polytechnique de Toulouse, July 1997.
Florent Latombe, Xavier Crégut, Marc Pantel
Tailoring Models of Concurrency to eXecutable Domain-Specific Modeling Languages
2016